Search Results for "3 12 Combining Effects and Coeffects via Grading"

3 12 Combining Effects and Coeffects via Grading

02 Combining Effects and Coeffects

Towards Highly Symmetric Co/Effects; Systematic Separation between the Extra-and Intra-Logical

Francesco Gavazzo: Operational reasoning for modal types: effects and coeffects

[POPL'22] A Relational Theory of Effects and Coeffects

Idris: verifying a monoid

Effects as sessions, Sessions as effects

Nihil Shah- Environmental Dependencies as Coeffects- λC 2019

11 Parametrized Extensible Effects and Session Types

03 A Logical Account of Type and Effect Systems

ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek

Tarmo Uustalu: "Grading monads, comonads and distributive laws"